case class Writer[W, A](run: (A, W))